Modeling through model transformation with MARS 2.0
نویسندگان
چکیده
The development of simulation models confronts scientists with the necessity of transforming concepts from theoretical models to executable code. Albeit modern simulation platforms provide APIs to abstract away technology, this task remains complex. Therefore a model-to-code transformation is essential, allowing domain experts to focus on their model instead of implementation details. This paper presents a multi-level transformation concept to facilitate building multi-agent simulations for domain experts. With domainspecific tool support, model ideas can be developed without managing technical requirements. This insures that the modeler is exclusively concerned with the conceptual model by utilizing a MARS (Multi-Agent Research and Simulation) Meta-Model (MMM) and Agent Meta-Model (AMM). We outline the MMM as underlying structure, discuss the foundations of model-driven development and the in-place transformation of the MMM as executed by the MARS modeling workflow. In addition, we present a model-to-code generator that creates the final simulation model.
منابع مشابه
Developing Reliable yet Flexible Software through If-Then Model Transformation Rules
Developing reliable yet flexible software is a hard problem. Although modeling methods enjoy a lot of advantages, the exclusive use of just one of them, in many cases, may not guarantee the development of reliable and flexible software. Formal modeling methods ensure reliability because they use a rigorous approach to software development. However, lack of knowledge and high cost practically fo...
متن کاملModeling and Estimating the Dimensions of Stable Alluvial Channels using Soft Calculations
In this research, soft computational models including multiple adaptive spline regression model (MARS) and data group classification model (GMDH) were used to estimate the geometric dimensions of stable alluvial channels including channel surface width (w), flow depth (h), and longitudinal slope (S) and the results of the developed models were compared with the multilayer neural network (MLP) m...
متن کاملEvaluation of coalbed methane potential in Parvadeh IV coal deposit in central Iran using a combination of MARS modeling and Kriging
Coalbed methane (CBM) plays an important role in coal mining safety and natural gas production. In this work, The CBM potential of B2 seam in Parvadeh IV coal deposit, in central Iran, was evaluated using a combination of local regression and geostatistical methods. As there were 30 sparse methane sampling points in the Parvadeh IV coal deposit, no valid variogram was achieved for the methane c...
متن کاملA Hybrid Meta-heuristic Approach to Cope with State Space Explosion in Model Checking Technique for Deadlock Freeness
Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns. In the model checking approach, the behavior and structure of system should be modeled. Graph transformation system is a graphical formal modeling language to specify and model the system. However, modeling of large s...
متن کاملUsing a Program Transformation Engine to Infer Types in a Metamodel Recovery System
Domain-Specific Modeling (DSM) allows domain experts to concentrate on the essential characteristics of a problem space without being overwhelmed by the complexities that may occur in the solution space. DSM is focused on the creation of a metamodel for a specific domain, from which instances pertaining to specific configurations of that domain can be constructed. However, as the metamodel unde...
متن کامل